1、
评价理论以赋值语义为中心，研究作者／说话者如何与持相同观点者联合，与持不同观点者保持距离。
互联网摘选
2、
The present paper involves the FFP-ATS semantics of value evaluation of ML core language.
本文涉及ML核心语言的值的计算这一部分的FFP-ATS语义学。
互联网摘选
3、
这两方面问题的存在，既影响到对塔尔斯基真值条件语义学理论本身的理解，也在一定程度上影响到对这一理论的评价。
互联网摘选
4、
Diamant将会话管理、凭证管理、环境评估和具有说明性语义的授权引擎等核心机制引入授权体系结构中，基于策略语言描述域间安全策略。
互联网摘选
